gopterでステートフルなPBT - YAMAGUCHI::weblog

テストしたいデータ構造について

コマンド(直観的には，メソッドと引数の組)

データを取り出す関数

を定義して，コマンドの列を生成して構造に放り込み，その後構造から取れるデータが満たす性質をチェックする